void timer_install();
extern unsigned long timer_ticks;
void timer_wait(unsigned long);
void print_timer_ticks(void);
